Issue2127.agda:4,3-6,12
A data definition can only contain type signatures, possibly under
keyword instance
